Coherent Monoids
نویسندگان
چکیده
منابع مشابه
Coherent Presentations of Structure Monoids and the Higman-thompson Groups
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups Fn,1 and the Higman-Thompson groups Gn,1 as structure groups. We go on to obtain presentations of these groups v...
متن کاملGarside monoids vs divisibility monoids
Divisibility monoids (resp. Garside monoids) are a natural algebraic generalization of Mazurkiewicz trace monoids (resp. spherical Artin monoids), namely monoids in which the distributivity of the underlying lattices (resp. the existence of common multiples) is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations (resp. be of Coxeter ty...
متن کاملCoherent Frames
Frames which can be generated by the action of some operators (e.g. translation, dilation, modulation, ...) on a single element $f$ in a Hilbert space, called coherent frames. In this paper, we introduce a class of continuous frames in a Hilbert space $mathcal{H}$ which is indexed by some locally compact group $G$, equipped with its left Haar measure. These frames are obtained as the orbits of ...
متن کاملOrdered monoids and J-trivial monoids
In this paper we give a new proof of the following result of Straubing and Thérien: every J -trivial monoid is a quotient of an ordered monoid satisfying the identity x ≤ 1. We will assume in this paper that the reader has a basic background in finite semigroup theory (in particular, Green’s relations and identities defining varieties) and in computer science (languages, trees, heaps). All semi...
متن کاملCartesian Monoids
The Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus’ FP. Special attention is paid to those elements which are equationally implicitly definable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1992
ISSN: 0263-6115
DOI: 10.1017/s1446788700035771